@gray-darker:            lighten(#000, 13.5%); // #222
@gray-dark:              lighten(#000, 20%);   // #333
@gray:                   lighten(#000, 33.5%); // #555
@gray-light:             lighten(#000, 46.7%); // #777
@gray-lighter:           lighten(#000, 93.5%); // #eee

@theme-bg: #f0f0f0;
@theme-red: #e74c3c;
@theme-blue: #428bca;
@theme-yellow: #f1c40f;
@theme-green: #5cb85c;

// Label styles
@theme-label-bg: lighten(@theme-blue, 15%);
@theme-label-border-color: darken(@theme-label-bg, 20%);

@desktop: 992px;
